Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
671	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: ezyang.com Language: English - Date: 2015-03-19 00:33:40 Metalogic Logic Structure Programming language Mathematics Formal languages Model theory
672	Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking by Bryan Ford Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: bford.info Language: English - Date: 2010-09-29 09:18:52 Software engineering Computing Compiler construction Parsing expression grammar Syntactic predicate Top-down parsing LL parser Recursive descent parser Bottom-up parsing Formal languages Programming language implementation Parsing
673	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Formal languages Boolean algebra Propositional calculus Well-formed formula Logical connective FO Propositional formula First-order logic Logic Mathematical logic Logical syntax
674	Semantic Parsing via Paraphrasing Jonathan Berant Stanford University 1 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-04-11 22:58:26 Formal languages Algebraic logic Philosophical logic Boolean algebra Formal grammar Entailment Semantics Model theory Function Logic Mathematics Metalogic
675	CPMPrefix-Free Regular-Expression Matching Yo-Sub Han∗ , Yajun Wang and Derick Wood Department of Computer Science Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2005-07-08 16:23:53 Theoretical computer science Combinatorics Pattern matching Regular expression Matching Substring String Regular language Approximate string matching Formal languages Automata theory Mathematics
676	c 2009 International Press COMMUNICATIONS IN INFORMATION AND SYSTEMS Vol. 9, No. 3, pp, 2009 Add to Reading List Source URL: www.ims.cuhk.edu.hk Language: English - Date: 2009-11-16 18:53:14 Science Computational phylogenetics Computing Pattern matching String Substring Regular expression Multiple sequence alignment Nucleic acid sequence Mathematics Bioinformatics Formal languages
677	OMeta: an Object-Oriented Language for Pattern Matching ∗ Alessandro Warth Ian Piumarta Computer Science Department Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Computing Programming language implementation Syntactic predicate Parsing expression grammar LL parser Viewpoints Research Institute Scannerless parsing Compiler-compiler COLA Formal languages Software engineering Parsing
678	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Modal logic Logical syntax Formal languages Well-formed formula Logical connective FO Modal depth Propositional formula First-order logic Logic Mathematical logic Propositional calculus
679	CS109B Notes for LectureNondeterministic Automata Looking for Substrings We can build an NFA to recognize a string that ends in any given substring a1a2 a if we: Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:53 Combinatorics Mathematics Regular expression Regular language String Powerset construction Concatenation Finite-state machine Deterministic finite automaton Formal languages Automata theory Theoretical computer science
680	THE ABC NEWSLETTER ISSN © CWI, AmsterdamAll rights reserved 8 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-05 10:34:25 Classes of computers Formal grammar Zork Terminal and nonterminal symbols ALGOL 68 Blissymbols Formal languages Computing Software

UPDATE